Goffman’s (1959) dramaturgical identity theory requires modification when theorising about presentations of self on social media. This chapter contributes to these efforts, refining a conception of digital identities by differentiating them from ‘corporatised identities’. Armed with this new distinction, I ultimately argue that social media platforms’ production of corporatised identities undermines their users’ autonomy and digital well-being. This follows from the disentanglement of several commonly conflated concepts. Firstly, I distinguish two kinds of presentation of self that I collectively refer to (...) as ‘expressions of digital identity’. These digital performances (boyd 2007) and digital artefacts (Hogan 2010) are distinct, but often confused. Secondly, I contend this confusion results in the subsequent conflation of corporatised identities – poor approximations of actual digital identities, inferred and extrapolated by algorithms from individuals’ expressions of digital identity – with digital identities proper. Finally, and to demonstrate the normative implications of these clarifications, I utilise MacKenzie’s (2014, 2019) interpretation of relational autonomy to propose that designing social media sites around the production of corporatised identities, at the expense of encouraging genuine performances of digital identities, has undermined multiple dimensions of this vital liberal value. In particular, the pluralistic range of authentic preferences that should structure flourishing human lives are being flattened and replaced by commercial, consumerist preferences. For these reasons, amongst others, I contend that digital identities should once again come to drive individuals’ actions on social media sites. Only upon doing so can individuals’ autonomy, and control over their digital identities, be rendered compatible with social media. (shrink)

Statistics play a critical role in biological and clinical research. To promote logically consistent representation and classification of statistical entities, we have developed the Ontology of Biological and Clinical Statistics (OBCS). OBCS extends the Ontology of Biomedical Investigations (OBI), an OBO Foundry ontology supported by some 20 communities. Currently, OBCS contains 686 terms, including 381 classes imported from OBI and 147 classes specific to OBCS. The goal of this paper is to present OBCS for community critique and to describe a (...) number of use cases designed to illustrate its potential applications. The OBCS project and source code are available at http://obcs.googlecode.com. (shrink)

Statistics play a critical role in biological and clinical research. However, most reports of scientific results in the published literature make it difficult for the reader to reproduce the statistical analyses performed in achieving those results because they provide inadequate documentation of the statistical tests and algorithms applied. The Ontology of Biological and Clinical Statistics (OBCS) is put forward here as a step towards solving this problem. Terms in OBCS, including ‘data collection’, ‘data transformation in statistics’, ‘data visualization’, ‘statistical data (...) analysis’, and ‘drawing a conclusion based on data’, cover the major types of statistical processes used in basic biological research and clinical outcome studies. OBCS is aligned with the Basic Formal Ontology (BFO) and extends the Ontology of Biomedical Investigations (OBI), an OBO (Open Biological and Biomedical Ontologies) Foundry ontology supported by over 20 research communities. We discuss two examples illustrating how the ontology is being applied. In the first (biological) use case, we describe how OBCS was applied to represent the high throughput microarray data analysis of immunological transcriptional profiles in human subjects vaccinated with an influenza vaccine. In the second (clinical outcomes) use case, we applied OBCS to represent the processing of electronic health care data to determine the associations between hospital staffing levels and patient mortality. Our case studies were designed to show how OBCS can be used for the consistent representation of statistical analysis pipelines under two different research paradigms. By representing statistics-related terms and their relations in a rigorous fashion, OBCS facilitates standard data analysis and integration, and supports reproducible biological and clinical research. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Sam Harris is a contemporary illustration of the difficulties standing in the way of coherent interdisciplinary thinking in an age where science and the humanities have drifted so far apart. We are here with Harris’s views on AI, and specifically with his view according to which, with the advance of AI, there will evolve a machine superintelligence with powers that far exceed those of the human mind. This he sees as something that is not merely possible, but rather a matter (...) of inevitability. If, however, we look carefully at what intelligence is, and at how computers really work on the basis of mathematical models, then we can see that it is forever impossible to emulate inside a computer even the intelligence of crows or rabbits, let alone that of human beings. (shrink)

In this paper we respond to three objections raised by Joshua Harris to our article, “Against a Postmodern Pentecostal Epistemology,” in which we express misgivings about the conjunction of Pentecostalism with James K. A. Smith’s postmodern, story-based epistemolo- gy. According to Harris, our critique: 1) problematically assumes a correspondence theory of truth, 2) invalidly concludes that “Derrida’s Axiom” conflicts with “Peter’s Axiom,” and 3) fails to consider an alternative account of the universality of Christian truth claims. We argue that (...) Harris’s objections either demonstrate a deficient interpretation of the relevant biblical pas- sages or are not directed at us at all. (shrink)

Sam Harris (2010) argues that, given our neurology, we can experience well-being, and that seeking to maximize this state lets us distinguish the good from the bad. He takes our ability to compare degrees of well-being as his starting point, but I think that the analysis can be pushed further, since there is a (non-religious) reason why well-being is desirable, namely the finite life of an individual organism. It is because death is a constant possibility that things can be assessed (...) as “for” or “against” one (Champagne 2011a; Smith 2000). Such an account lets us objectively adjudicate moral questions, as Harris desires. However, by anchoring itself in the mortal body as a whole and not just the brain, such an account dampens the claim that neuroscience would have all the answers. Moreover, it pivots on an affirmation of one’s life that can seem mysterious by regular scientific standards. This chapter thus explains why the trade-off is worthwhile. (shrink)

Studie recenzuje díla: Sam HARRIS, The Moral Landscape a Patricia Smith CHURCHLAND, Braintrust. Cílem recenzní stati je vyzdvihnout hlubokou shodu v naturalistickém pojetí etiky u obou autorů a upozornit na některé nedostatky jejich argumentace.

RIGHT TO SILENCE-UK, U.S, FRANCE, and GERMANY SALLY RAMAGE (TRADE MARK REGISTERED) WIPO Orchid ID 0000-0002-8854-4293 Pages 2-30 Current Criminal Law, Volume 1, Issue 2, -/- Sally Ramage, BA (Hons), MBA, LLM, MPhil, MCIJ, MCMI, DA., ASLS, BAWP. Orchid ID 0000-0002-8854-4293 Publisher & Managing Editor Criminal Lawyer series [1980-2022](ISSN 2049-8047) Current Criminal Law series [2008-2022] (ISSN 1758-8405) and Criminal Law News series [2008-2022] (ISSN 1758-8421). Sweet & Maxwell (Thomson Reuters) (Licensed Annotator of UK Statutes) in annual law books Current Law (...) Statutes Annotated, (2006, 2009, 2010 editions) (sole and separate S&M contracts) for 7 UK Criminal Justice Statutes: UK Safeguarding Vulnerable Persons Act 2006; UK International Development Act 2006; UK Fraud Act 2006; UK Policing and Crime Act 2009, UK Local Democracy Act 2009; UK Bribery Act 2010; and UK Crime and Security Act 2010. TradeMark SALLY RAMAGE ® (2005-2025) in the UK, 2401827; WIPO TradeMark SALLY RAMAGE® 900614; USA TradeMark 3,440,910) (2008-2028). WARNING: The doing of an unauthorized act in relation to a copyright work may result in both a civil claim for damages and criminal prosecution. -/- ABSTRACT The privilege of the right to silence can be traced back to the 12th century, becoming more developed in later centuries. -/- Table of cases European Court of Human Rights Deweer v Belgium [1980], Eckle v Germany [1982], DN v The Netherlands [1975], Funke v France [1993] 16 EHRR 297, JP v Austria [1989], Kansal v UK [2003] Application No 21413/02 Khan v UK [2000] 31 EHRR 45, Saunders v UK [1997] 23 EHRR 313, Schenk v Switzerland [1991] 13 EHRR 242, and Tora Tolmos v Spain [1995] Table of Cases United Kingdom Brown v Procurator Fiscal, Dunfermline, [2000] , The Times, Feb 14, High Ct Scot.; HM Advocate v Friel [1978] SLT; Lambe v Munster [1882] 10 QBD 110.; Pearse v Pearse [1846] Eng Rep 950 (on truth); Re Pantmaenog Timber Co Ltd [2003] HL; R v Bryce [1992] 95 Cr App Rep 320; R v Canale [1990] 2 All ER 187; R v Fitzpatrick [1995] 4 SCR 154; R v Herbert [1990] 2 SCR 151; R V Hertfordshire County Council, ex parte Green Environmental Industries and another [2000] 1 All ER 773; R v Keenan [1989] Crim LR 720; R v Maguire [1990] Cr App Rep 115; R v Pound, Green and ors [2004]; R v Sang [1979] Crim LR 655; R v Saunders [1986] unreported; R v Seelig, R v Spens [1991] CA; R v Smith [1992] 95 Cr App. R. 191; R v Steen and ors [2003] unreported; R v Walsh [1981] CrimLR 822; R V Ward 96 Cr App R [1993]; R v Weekes [1993] Crim LR 211; R v White [1999] 2 SCR 417; R v Young [2003] unreported; Thompson Newspaper v Canada [1990] 1 SCR 425; Walsh Automation (Europe) Ltd v Bridgeman and ors [2002] EWHC 1344 QB France-Law France 1789 Declaration des driots de l‟homme et du citoyen 1808 Code d ‟instruction criminelle 1946 Constitution 1958 Code de procedure penale 2000 Penal Code Germany-Law Germany 1871 Criminal Code 1877 Criminal Procedure Code (St PO) 1877 Judicial Organisation Law 1949 Constitution 1975 Criminal Code 1998 Criminal Code Table of Cases Germany Germany BGH Admissibility of secret tape recordings judgement 14 June 1960, in BGHSt 14, 358 BGH Lie detector judgement 16 Feb 1954, in BGHSt 5, 332. BberfG Decision concerning the applicability of ne bis in idem 31 March 1987, in BberfGE 75,1; BGH Sweeping deception of suspect judgement 24 August 1988, in BGHSt 36, 328. BGH Judgement 24 August 1993, in BGHSt 39, 305 Table of Cases United States United States of America California v Byres [1971] 402 U.S. 424; Fisher v United States 475 U.S. 391 [1986]; Griffin v California [1965] 380 US 609 [; Hoffman v United States [1950] 341 U.S. 479; Supreme Court Baldwin v NY, 399 US 143 [1970]; Supreme Court Chavez v Martinez , U.S. 123 [2003]; Supreme Court Doyle v Ohio, 426 U.S. 610 [1976]; Supreme Court Escobedo v Illinois, 378 U.S. 478 [1964]; Supreme Court Giglio v US, 405 U.S. 150 [1972] Supreme Court Harris v NY, 401 U.S. 222 [1971]; Supreme Court Kirby v Illinois, 406 U.S. 682 [1972]; Supreme Court Miranda v Arizona, 384 U.S. 436 [1966]; Supreme Court Moore v Illinois, 408 U.S. 768 [1972]; Supreme Court Moran v Burbine, 475 U.S. [1986]; Supreme Court Orzoco v Texas, 324 U.S.24 [1969]; Supreme Court US v Hale [1975] 422 US 17; Supreme Court US v Leon, 468 U.S. 897 [1984]; Supreme Court US v Salerno, 481 U.S. 739 [1987]; Twining v New Jersey 211 US 78 113 -/- . (shrink)

A meaningful life, we shall argue, is a life upon which a certain sort of valuable pattern has been imposed by the person in question - a pattern which involves in serious ways the person having an effect upon the world. Meaningfulness is thus a special kind of value which a human life can bear. Two interrelated difficulties face ths proposal. One concerns responsiblity: how are we to account for the fact that a life that satisfies the above criteria can (...) have more meaning than a life with the same positive outcomes but which lacks responsiblity on the part of the agent? The other turns on these outcomes themselves: how can the meaningfulness engendered by actions you perform now be affected by what those actions go on to produce in the future, perhaps even after your death? We provide a response to both of these difficulties. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, roles, and dispositions, (...) to help provide the potential for more detailed classification, and to shed light on BFO’s general make-up and use. (shrink)

The goal of referent tracking is to create an ever-growing pool of data relating to the entities existing in concrete spatiotemporal reality. In the context of Electronic Healthcare Records (EHRs) the relevant concrete entities are not only particular patients but also their parts, diseases, therapies, lesions, and so forth, insofar as these are salient to diagnosis and treatment. Within a referent tracking system, all such entities are referred to directly and explicitly, something which cannot be achieved when familiar concept-based systems (...) are used in what is called “clinical coding”. In this paper we describe the components of a referent tracking system in an informal way and we outline the procedures that would have to be followed by healthcare personnel in using such a system. We argue that the referent tracking paradigm can be introduced with only minor – though nevertheless ontologically important – technical changes to existing EHR infrastructures, but that it will require a radically different mindset on the part of those involved in clinical coding and terminology development from that which has prevailed hitherto. (shrink)

How do we justify the normative standards to which we appeal in support of our moral progress judgments, given their historical and cultural contingency? To answer this question in a noncircular way, Elizabeth Anderson and Philip Kitcher appeal exclusively to formal features of the methodology by which a moral change was brought about; some moral methodologies are systematically less prone to bias than others and are therefore less vulnerable to error. However, we argue that the methodologies espoused by Anderson and (...) Kitcher implicitly appeal to the substantive principle of “moral universalism.” This sets up the positive project of the paper: an attempt to vindicate moral universalism with a pragmatic genealogy. Using resources from cultural evolutionary theory and the history of ideas we argue that the universalistic norms widely committed to in many societies today have the function of maintaining cooperation in large anonymous groups. Furthermore, while universalistic norms play this instrumental role, their functional benefits are best secured when people following such norms do so for intrinsic rather than instrumental reasons. Finally, having elaborated our pragmatic genealogy, we close by considering how this genealogy should affect our commitment to moral universalism and how it can complement the methods of Anderson and Kitcher. (shrink)

This essay examines the connection between fear and the psychopathologies it can bring, looking in particular at the fears that individuals experience in the face of the climate crisis and environmental degradation more generally. We know that fear can be a source of good and ill. Fears of climate-change-driven heat waves, for instance, can spur both activism and denial. But as of yet, we don’t have a very good understanding of why eco-fears, as we will call them, shape our thoughts (...) and actions in the ways that they do. More importantly, we also don’t really understand why some experiences of eco-fear can lead to depression, PTSD, and other psychopathologies. In an effort to make some progress on this front, we look more closely at the role that feelings of agency – our general feeling that we have enough ability to address the threats and challenges we face – play in shaping our fears. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

Ernst Mach's atomistic theory of sensation faces problems in doing justice to our ability to perceive and remember complex phenomena such as melodies and shapes. Christian von Ehrenfels attempted to solve these problems with his theory of "Gestalt qualities", which he sees as entities depending one-sidedly on the corresponding simple objects of sensation. We explore the theory of dependence relations advanced by Ehrenfels and show how it relates to the views on the objects of perception advanced by Husserl and by (...) the Gestalt psychologists. (shrink)

This paper addresses a family of issues surrounding the biological phenomenon of resistance and its representation in realist ontologies. The treatments of resistance terms in various existing ontologies are examined and found to be either overly narrow, internally inconsistent, or otherwise problematic. We propose a more coherent characterization of resistance in terms of what we shall call blocking dispositions, which are collections of mutually coordinated dispositions which are of such a sort that they cannot undergo simultaneous realization within a single (...) bearer. A definition of ‘protective resistance’ is proposed for use in the Infectious Disease Ontology (IDO) and we show how this definition can be used to characterize the antibiotic resistance in Methicillin-Resistant Staphylococcus aureus (MRSA). The ontological relations between entities in our MRSA case study are used alongside a series of logical inference rules to illustrate logical reasoning about resistance. A description logic representation of blocking dispositions is also provided. We demonstrate that our characterization of resistance is sufficiently general to cover two other cases of resistance in the infectious disease domain involving HIV and malaria. (shrink)

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed (...) partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

Radical democratic thinking is becoming intrigued by the material situatedness of its political agents and by the role of nonhuman participants in political interaction. At stake here is the displacement of narrow anthropocentrism that currently guides democratic theory and practice, and its repositioning into what we call ‘the nonhuman condition’. This Critical Exchange explores the nonhuman condition. It asks: What are the implications of decentering the human subject via a new materialist reading of radical democracy? Does this reading dilute political (...) agency? Or should this be seen, on the contrary, as an invitation for new voices and demands to enter into democratic assemblages? How might engagement with the more-than-human disrupt or extend theories of radical democracy? Hans Asenbaum and Amanda Machin discuss the human democratic subject both through radical democratic and new materialist lenses. They suggest that a new materialist decentred subject does not lose agency but further gains political responsibility in radical democracy. Jean-Paul Gagnon highlights the possibility of becoming through loss. In losing our anthropocentric arrogance—our understanding of being other and better than animal—we become more connected and discover our place in human-nonhuman assemblages. Melissa Orlie agrees that something can be gained through renouncing dominant human fantasies and presents a ‘radical democratic naturalism’. By renouncing land violence and acknowledging nature’s subjectivity, we can further nonexploitative radical democratic politics. This is where the notion of ‘tidalectic’ processes introduced by James L. Smith is helpful. Focusing on water and the Indigenous knowledges around rivers, he considers how democracy and community can be reimagined as plural, cyclical and attentive to the nonhuman with which the human is inevitably entangled. Diana Leong offers a different approach. Considering the nonhuman from the perspective of Black Studies demands an awareness to how blackness has long been constituted as non- or partially human. (shrink)

This paper sketches an emotion-aware model of environmental ethics education. The proposal draws on insights from feminists scholars, moral sentimentalism, as well as work in the pedagogy of discomfort traditions. It identifies and defends four core elements of climate change ethic, noting how they shed new light on the aims and challenges of environmental ethics education.

For much of the first fifty years of its existence, analytic philosophy shunned discussions of normativity and ethics. Ethical statements were considered as pseudo-propositions, or as expressions of pro- or con-attitudes of minor theoretical significance. Nowadays, in contrast, prominent analytic philosophers pay close attention to normative problems. Here we focus our attention on the work of Searle, at the same time drawing out an important connection between Searle’s work and that of two other seminal figures in this development: H.L.A. Hart (...) and John Rawls. We show that all three thinkers tend to assume that there is but one type of normativity within the realm of social institutions – roughly, the sort of normativity that is involved in following the results of chess – and that they thereby neglect features that are of crucial significance for an adequate understanding of social reality. (shrink)

Medical terminology collects and organizes the many different kinds of terms employed in the biomedical domain both by practitioners and also in the course of biomedical research. In addition to serving as labels for biomedical classes, these names reflect the organizational principles of biomedical vocabularies and ontologies. Some names represent invariant features (classes, universals) of biomedical reality (i.e., they are a matter for ontology). Other names, however, convey also how this reality is perceived, measured, and understood by health professionals (i.e., (...) they belong to the domain of epistemology). We analyze terms from several biomedical vocabularies in order to throw light on the interactions between ontological and epistemological components of these terminologies. We identify four cases: 1) terms containing classification criteria, 2) terms reflecting detectability, modality, uncertainty, and vagueness, 3) terms created in order to obtain a complete partition of a given domain, and 4) terms reflecting mere fiat boundaries. We show that epistemology-loaded terms are pervasive in biomedical vocabularies, that the “classes” they name often do not comply with sound classification principles, and that they are therefore likely to cause problems in the evolution and alignment of terminologies and associated ontologies. (shrink)

This paper addresses the use of dispositions in the Infectious Disease Ontology (IDO). IDO is an ontology constructed according to the principles of the Open Biomedical Ontology (OBO) Foundry and uses the Basic Formal Ontology (BFO) as an upper ontology. After providing a brief introduction to disposition types in BFO and IDO, we discuss three general techniques for representing combinations of dispositions under the headings blocking dispositions, complementary dispositions, and collective dispositions. Motivating examples for each combination of dispositions is given (...) along with a specific use case in IDO. Description logic restrictions are used to formalize statements relating to these combinations. (shrink)

Electronic Health Records (EHRs) are organized around two kinds of statements: those reporting observations made, and those reporting acts performed. In neither case does the record involve any direct reference to what such statements are actually about. They record not: what is happening on the side of the patient, but rather: what is said about what is happening. While the need for a unique patient identifier is generally recognized, we argue that we should now move to an EHR regime in (...) which all clinically salient particulars – from the concrete disorder on the side of the patient and the body parts in which it occurs to the concrete treatments given – should be uniquely identified. This will allow us to achieve interoperability among different systems of records at the level where it really matters: in regard to what is happening in the real world. It will also allow us to keep track of particular disorders and of the effects of particular treatments in a precise and unambiguous way. We discuss the ontological and epistemological aspects of our claim and describe a scenario for implementation within EHR systems. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities such as (...) organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

The goal of the OBO (Open Biomedical Ontologies) Foundry initiative is to create and maintain an evolving collection of non-overlapping interoperable ontologies that will offer unambiguous representations of the types of entities in biological and biomedical reality. These ontologies are designed to serve non-redundant annotation of data and scientific text. To achieve these ends, the Foundry imposes strict requirements upon the ontologies eligible for inclusion. While these requirements are not met by most existing biomedical terminologies, the latter may nonetheless support (...) the Foundry’s goal of consistent and non-redundant annotation if appropriate mappings of data annotated with their aid can be achieved. To construct such mappings in reliable fashion, however, it is necessary to analyze terminological resources from an ontologically realistic perspective in such a way as to identify the exact import of the ‘concepts’ and associated terms which they contain. We propose a framework for such analysis that is designed to maximize the degree to which legacy terminologies and the data coded with their aid can be successfully used for information-driven clinical and translational research. (shrink)

The paradigm of referent tracking is based on a realist presupposition which rejects so-called negative entities (congenital absent nipple, and the like) as spurious. How, then, can a referent tracking-based Electronic Health Record deal with what are standardly called ‘negative findings’? To answer this question we carried out an analysis of some 748 sentences drawn from patient charts and containing some form of negation. Our analysis shows that to deal with these sentences we need to introduce a new ontological relationship (...) between a particular and a universal, which holds when no instance of the universal has a specific qualified ontological relation with the particular. This relation is found to be able to accommodate nearly all occurrences of negative findings in the examined sample, in ways which involve no reference to negative entities. (shrink)

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for the (...) theory and a provably sound axiomatization. (shrink)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

Emotion plays an important role in securing social stability. But while emotions like fear, anger, and guilt have received much attention in this context, little work has been done to understand the role that anxiety plays. That’s unfortunate. I argue that a particular form of anxiety—what I call ‘practical anxiety’—plays an important, but as of yet unrecognized, role in norm-based social regulation. More specifically, it provides a valuable form of metacognition, one that contributes to social stability by helping individuals negotiate (...) the challenges that come from having to act in the face of unclear norms. (shrink)

Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers a richer framework, in which it is possible to represent directly the relations between entities of various types at different levels, (...) including both objects and the regions they occupy. What results is a layered mereotopology, a theory which can handle multiple layers (analogous to the layers of a lasagna) of spatially or spatiotemporally coincident but mereologically non-overlapping entities. (shrink)

An explicit formal-ontological representation of entities existing at multiple levels of granularity is an urgent requirement for biomedical information processing. We discuss some fundamental principles which can form a basis for such a representation. We also comment on some of the implicit treatments of granularity in currently available ontologies and terminologies (GO, FMA, SNOMED CT).

In his paper ‘A libertarian case for mandatory vaccination’, Jason Brennan argues that even libertarians, who are very averse to coercive measures, should support mandatory vaccination to combat the harmful disease outbreaks that can be caused by non-vaccination. He argues that libertarians should accept the clean hands principle, which would justify mandatory vaccination. The principle states that there is a (sometimes enforceable) moral obligation not to participate in collectively harmful activities. Once libertarians accept the principle, they will be compelled to (...) support mandatory vaccination. In my paper, I argue that the cases Brennan uses to justify this principle are disanalogous to the case of non-vaccination and that they are not compelling to libertarians. The cases Brennan offers can be explained by a libertarian using the individual sufficiency principle: which states that if an individual’s action is sufficient to cause harm, then there is a (sometimes enforceable) moral obligation not to carry out that action. I argue that this principle is more appropriate to Brennan’s examples, and more appealing to the libertarian, than the clean hands principle. In order to get libertarians to accept the clean hands principle, I present a modified version of one of Brennan’s cases that is analogous to the case of non-vaccination. Using this case, I argue that whether the clean hands principle will justify mandatory vaccination is dependent on whether the herd immunity rate in a given population is approaching a threshold after which a collective risk of harm will be imposed onto others. (shrink)

Recreational Drugs European Network (ReDNet) project aims to use the Psychonaut Web Mapping Project database (Psychonaut Web Mapping Group, 2009) containing novel psychoactive compounds usually not mentioned in the scientific literature and thus unknown to clinicians as a unique source of information. The database will be used to develop an integrated ICT prevention approach targeted at vulnerable individuals and focused on novel synthetic and herbal compounds and combinations. Particular care will be taken in keeping the health professionals working directly with (...) young people showing problematic behaviors regularly updated in terms of novel compounds and combinations as well. A user-friendly project website will be developed aimed primarily at delivering the information/prevention approaches, but will also be a way of communicating with project partners and relevant stakeholders (e.g. thematic forum facilities, instant messages, blogs, video chat, wikiblog, newsletters distributed via mailing list). The website will support various ICT prevention tools, including an SMS alert service. Different areas and sections will be aimed specifically at the different target groups. -/- . (shrink)

A recent skeptical challenge denies deliberation is essential to virtuous agency: what looks like genuine deliberation is just a post hoc rationalization of a decision already made by automatic mechanisms (Haidt 2001; Doris 2015). Annas’s account of virtue seems well-equipped to respond: by modeling virtue on skills, she can agree that virtuous actions are deliberation-free while insisting that their development requires significant thought. But Annas’s proposal is flawed: it over-intellectualizes deliberation’s developmental role and under-intellectualizes its significance once virtue is acquired. (...) Doing better requires paying attention to a distinctive form of anxiety—one that functions to engage deliberation in the face of decisions that automatic mechanisms alone cannot resolve. (shrink)

We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred to (...) in the literature as ‘approximation’. (shrink)

A familiar feature of moral life is the distinctive anxiety that we feel in the face of a moral dilemma or moral conflict. Situations like these require us to take stands on controversial issues. But because we are unsure that we will make the correct decision, anxiety ensues. Despite the pervasiveness of this phenomenon, surprisingly little work has been done either to characterize this “ moral anxiety” or to explain the role that it plays in our moral lives. This paper (...) aims to address this deficiency by developing an empirically informed account of what moral anxiety is and what it does. (shrink)

We aim to provide the ontological grounds for an adequate account of persistence. We defend a perspectivalist, or moderate pluralist, position, according to which some aspects of reality can be accounted for in ontological terms only via partial and mutually complementary ontologies, each one of which captures some relevant aspect of reality. Our thesis here is that this is precisely the sort of ontological account that is needed for the understanding of persistence, specifically an account involving two independent ontologies, one (...) for continuants, and one for occurrents. (shrink)

Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED (...) CT classes with respect to these principles. Our major results are: 31% of these classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with the phenomenon of multiple inheritance. The advantages and limitations of our approach are also discussed. (shrink)

The COVID-19 pandemic revealed numerous weaknesses in pandemic preparedness and response, including underfunding, inadequate surveillance, and inequitable distribution of countermeasures. To overcome these weaknesses for future pandemics, WHO released a zero draft of a pandemic treaty in February, 2023, and subsequently a revised bureau's text in May, 2023. COVID-19 made clear that pandemic prevention, preparedness, and response reflect choices and value judgements. These decisions are therefore not a purely scientific or technical exercise, but are fundamentally grounded in ethics. The latest (...) treaty draft reflects these ethical considerations by including a section entitled Guiding Principles and Approaches. Most of these principles are ethical—they establish core values that undergird the treaty. Unfortunately, the treaty draft's set of principles are numerous, overlapping, and show inadequate coherence and consistency. We propose two improvements to this section of the draft pandemic treaty. First, key guiding ethical principles should be clearer and more precise than they currently are. Second, the link between ethical principles and policy implementation should be clearly established and define boundaries on acceptable interpretation, ensuring that signatories abide by these principles. (shrink)

The dominant theory of judgment in 1870 was one or other variety of combination theory: the act of judgment is an act of combining concepts or ideas in the mind of the judging subject. In the decades to follow a succession of alternative theories arose to address defects in the combination theory, starting with Bolzano’s theory of propositions in themselves, Brentano’s theory of judgment as affirmation or denial of existence, theories distinguishing judgment act from judgment content advanced by Brentano’s students (...) Twardowski, Husserl and Meinong, and finally, Adolf Reinach’s addition of a linguistic dimension to the Brentano-Husserlian theory of judgment – an account of judgments as ways of doing things with words in what Reinach called ‘social acts’. (shrink)

The aim of this paper is to show that the account of objective truth taken for granted by logicians at least since the publication in 1933 of Tarski’s “The Concept of Truth in Formalized Languages” arose out of a tradition of philosophical thinking initiated by Bolzano and Brentano. The paper shows more specifically that certain investigations of states of affairs and other objectual correlates of judging acts, investigations carried out by Austrian and Polish philosophers around the turn of the century, (...) formed part of the background of views that led to standard current accounts of the objectivity of truth. It thus lends support to speculations on the role of Brentano and his heirs in contemporary logical philosophy advanced by Jan Wolenski in his masterpiece of 1989 on the Logic and philosophy in the Lvov-Warsaw School. (shrink)

It is now increasingly accepted that many existing biological and medical ontologies can be improved by adopting tools and methods that bring a greater degree of logical and ontological rigor. In this chapter we will focus on the merits of a logically sound approach to ontologies from a methodological point of view. As we shall see, one crucial feature of a logically sound approach is that we have clear and functional definitions of the relational expressions such as ‘is a’ and (...) ‘part of ’. (shrink)

Als zu Beginn des Jahrhunderts der Realismus wieder ernst genommen wurde, gab es viele Philosophen, die sich mit der Ontologie der Wahrheit befaßten. Unabhängig von der Bestimmung der Wahrheit als Korrespondenzbeziehung wollten sie herausfinden, inwieweit zur Erklärung der Wahrheit von Sätzen besondere Entitäten herangezogen werden müssen. Einige dieser Entitäten, so zum Beispiel Bolzanos ‘Sätze an sich’, Freges ‘Gedanken’ oder die ‘propositions’ von Russell und Moore, wurden als Träger der Eigenschaften Wahrheit und Falschheit aufgefaßt. Einige Philosophen jedoch, wie Russell, Wittgenstein im (...) ›Tractatus‹ und Husserl in den ›Logischen Untersuchungen‹, argumentierten, zusätzlich zu den Wahrheitsträgern bzw. an ihrer Stelle müßten Entitäten angenommen werden, auf Grund deren Sätze und/oder ‘Propositionen’ wahr sind. Solchen Entitäten gab man verschiedene Namen, insbesondere ‘fact’, ‘Tatsache’, ‘state of affairs’ und ‘Sachverhalt’. 1 Wir wollen einer Entscheidung über die Angebrachtheit dieser Ausdrücke nicht vorgreifen und daher zunächst eine neutralere Terminologie verwenden: Alle Entitäten, die für diese zweite Rolle in Frage kommen, wollen wir ‘Wahrmacher’ nennen. (shrink)

A prominent argument for moral realism notes that we are inclined to accept realism in science because scientific inquiry supports a robust set of critical practices—error, improvement, explanation, and the like. It then argues that because morality displays a comparable set of critical practices, a claim to moral realism is just as warranted as a claim to scientific realism. But the argument is only as strong as its central analogy—and here there is trouble. If the analogy between the critical practices (...) of science and morality is loosely interpreted, the argument does not support moral realism—for paradigmatically constructivist discourses like fashion display the relevant critical practices just as well. So if the argument is to have force, the realist must say more about why the critical practices of morality are sufficiently like those of science to warrant realism. But this cannot be done—moral inquiry differs from scientific inquiry in too many important ways. So the analogy with the critical practices of science fails to vindicate moral realism. But there are further lessons: in looking closely at the critical practices of our moral discourse—and in comparing them to the critical practices of science and fashion—we gain insight into what is distinctive about morality objectivity and moral metaphysics. (shrink)

A discussion of the recent prominence of 'new atheism' and 'Christian nationalism' in the United States.

The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an ontology based on rigorous philosophical and logical principles that is designed to (...) comprehend the basic formal relationships that structure both reality and the ways humans perceive and communicate about reality. (shrink)